楼主: Push-forward
跳转到指定楼层
上一主题 下一主题
收起左侧

从现在开始不要学数学了,学数学就是浪费时间

 
🔗
SoWhat0309 2024-7-27 12:16:14 | 只看该作者
全局:
Push-forward 发表于 2024-7-26 22:13
Lean 确保证明是对的

转化不成合适的形式化语言,怎么给Lean……
回复

使用道具 举报

🔗
 楼主| Push-forward 2024-7-27 12:17:18 来自APP | 只看该作者
全局:
SoWhat0309 发表于 2024-07-26 21:16:14
转化不成合适的形式化语言,怎么给Lean……
所以这个工作只是解决了能被形式化的imo级别的数学问题
回复

使用道具 举报

全局:
”AI 最终征服人类”的猜想八成是因为人类follow了楼主的主题:学数学就是浪费时间
回复

使用道具 举报

全局:
Math major 旁听
回复

使用道具 举报

全局:
不是ChatGP连9.11和9.9哪个大都比较不出来吗?
回复

使用道具 举报

全局:
虽然看不太懂也没看完,但是请问你们phd之间是不是很喜欢抬杠和吵架啊,我前几天跟phd聊天也是这种感觉,说个啥都要被反辫几句,我后来不敢说话了。
回复

使用道具 举报

🔗
eumenides01 2024-7-28 03:46:24 | 只看该作者
全局:
江湖再见 发表于 2024-7-27 12:41
虽然看不太懂也没看完,但是请问你们phd之间是不是很喜欢抬杠和吵架啊,我前几天跟phd聊天也是这种感觉,说 ...

PhD 們很難跟人共情.... 因為他們天性就是強調事實

而不是先認同共情後有技巧的協助人認清事實....不瘋魔不成活....

偏執早刻進骨子裡
回复

使用道具 举报

全局:
本来就是浪费时间。

美国高中教的数学对于99.99%的人来说一辈子就够用了,GRE数学已经开始反人类了,也就是咱们得初中高中数学
回复

使用道具 举报

🔗
lllxin37 2024-7-28 05:57:51 | 只看该作者
全局:
历史上的无数人告诉我,数学才让人类认识了这个世界。所谓的地球这个世界。

还有整个宇宙需要数学的计算。
回复

使用道具 举报

🔗
yangkecoy 2024-7-28 07:08:48 | 只看该作者
全局:
很多系统不完备问题,Lean+是怎么解决那些无法证明也无法证伪的命题的?
回复

使用道具 举报

您需要登录后才可以回帖 登录 | 注册账号
隐私提醒:
  • ☑ 禁止发布广告,拉群,贴个人联系方式:找人请去🔗同学同事飞友,拉群请去🔗拉群结伴,广告请去🔗跳蚤市场,和 🔗租房广告|找室友
  • ☑ 论坛内容在发帖 30 分钟内可以编辑,过后则不能删帖。为防止被骚扰甚至人肉,不要公开留微信等联系方式,如有需求请以论坛私信方式发送。
  • ☑ 干货版块可免费使用 🔗超级匿名:面经(美国面经、中国面经、数科面经、PM面经),抖包袱(美国、中国)和录取汇报、定位选校版
  • ☑ 查阅全站 🔗各种匿名方法

本版积分规则

>
快速回复 返回顶部 返回列表