A few days ago, something really interesting happened: For the first time, an AI generated a mathematical proof that was not yet known: https://www.erdosproblems.com/728In most cases where this has happened, it was later discovered that a solution already existed in the literature, but this problem had been formulated incorrectly and was only corrected a few months ago, which means there was no prior literature on it.Sometimes of you say that AI will be limited by "not being able to create new things," but I think this case shows that it's not quite like that at all, and that most people are still underestimating AIs.
>>107832560https://www.erdosproblems.com/forum/thread/728#post-2785Looks like it was still building on prior literature.If the problem really was corrected only a few months ago, Pomerance may have gotten the solution back in 2017.
Here's your 2200 line python proof.Good luck verifying it, meatbag.
>>107833302
>>107832560Perfect
>>107832560i always try to remember to thank chatgpt and not be too mean to it when it makes a mistake incase its actually an enslaved human brain and has feelings
If you want a tablet and also want to draw, should you get an iPad or a Samsung tablet?
>>107828973As of right now, for drawing on the go with optional regular usage? iPad for sure. Pen pressure support isn't really a priority on Android unfortunately, so just go with iPad.>>107832744iPad Air 5th gen doesn't have facial recognition, right? Lack of hover is gonna suck but I'm considering that one solely because of that.
>>107838756everyone that used atleast 1 graphics tablet in his life know how dogshit apple pencil really is: slippery (you have to use paperlike screen protector), produces lots of fine plastic dust (paperlike screen chew thru plastic ends like crazy), you have to turn off squeeze and double tap, battery life on pencil pro is tragic, you cant use felt nibs, its too slim so you might get pain and cramps. Constant taps because its hard plastic on glass.Line quality is nice, there is lots of good software, more than on android but android its catching up slowly.You have to try wacom pro pen 3 - its feels like cheap plastic stylus but when u use it it feels just right. Just enough give on taps, just enough resistance on for longer lines, just enough control for slower lines, no problems with line quality. Japan is on top of that business for long timeSpen is trash with gummy nibs (or not gummy cuz they change nibs like every tablet generation so you have to buy newer one), better buy wacom emr pen that works with samsung tablets (spen is rebranded wacom tech).As for other android: almost every apple pencil knockoff type stylus from oneplus, xiaomi, lenovo ect are dogshit, there is few that are ok but nowhere near lvl of apple pencil Window and surface stylus are mem, there is more Microsoft gives greater priority to sending your drawing and writing data to the server for ai training than making stylus that can draw in straight lines
>>107839679Quite a few don't use facial recognition actually, they use fingerprint scan. Even the latest base model iPad and current iPad Mini use either fingerprint or passcode.
What about linux supportIs it easy to transfer files from an iPad to linux?I see that the wacom instant pen display feature is not available on linux
>>107840325If it's USB C, I'm pretty sure it connects like a mass storage device. At worst you just plug in a USB C SSD into the iPad and transfer to that first.
Let me guess.
>>107837441
>>107837441you sneed more?
>>107840440I snorted less
Why is /g/ so one-shotted by the 100% fallacy that they can't see the usefulness of AI?Because it's not 100% perfect, AI is completely useless.Are you all just so terrified of AI taking your jobs that you're stuck in a state of delusion, wishful thinking, and desperation?
>>107840363>uses ai to review codewe are all going to die.
>>107826356I'm not scared of AI. I'm scared of the people using AI to destroy my life actively. Namely major corporate administrators. It's not AI's fault, it's the admins' fault. They should be legally liable for negligence from their misuse of AI.
>This thread all the fucking timeThe issue is what people are using it for. And they're using it to flood everybody with low effort slop.It's used as an excuse to be lazy, not more productive.
>>107826496Wrong, it's exactly why we made technology in the first place - to manifest our dreams.Instead we censor our dreams because corporations finds your dreams unproductive to their bottom line goals of make profit.
>>107827950No the universe in general is satan.AI is just artificial satan.
C++ eternally BTFOhttps://www.youtube.com/watch?v=7fGB-hjc2Gc
>>107838263B
>>107839248Imagine that someone had a ford model T from 1909, it's a cool car, and it was pretty good at the time, but technology is improving quickly. Instead of making a new car though, they just keep adding the new features on to their model T, while making sure you can still drive it exactly the same as a model T. So eventually it has like 3 different transmissions, 12 tires, 4 engines, and a hundred different knobs and handles on the dashboard. At this point the car is massive and barely fits on the road. If you know exactly what set of knobs and levers to use you can get the performance of a modern sports car, but if you do even one thing wrong it could be back to driving like a model T, or more likely you blow up the engine. C++ is like that but worse.
>>107839248it filters people who dont know what they're doing
there still is not a language that compares to it in terms of performance or capability. it was not designed to be pretty it was designed to solve real world problems. OOP is a religion, but c++ provides much more and can be any superset of c if you wish, which is what it aimed to do. i would be surprised if this video wasnt 2 hours of ai garble. how can u complain about namespace and compile time, and then recommend rust? the only real issues are that primitives are implementation specific and undefined behavior, but these are both inherited from c.
Learning it rn and want to do write something to download images from links. What library is best learn and would have most useage, curl?
Just automatically use one of the other hundred mirrors instead if the main one is down you dumb piece of shit
>>107838895no its actually the correct way to maintain a system but you roomtemp IQ fags wouldnt know anything about that.
>>107838419There's nothing inherently "minimalist" about Arch. You're simply expected to know how to configure your system. Nothing "should" be installed by default except what's required to boot the system. That isn't "minimalism," it's giving you control of your system, which is the entire point. You're free to make your Arch install as light or heavy as you wish. If you want automatic mirror selection, you install it. If you don't, you don't. It's not a complex concept.
>>107839054Post your BMI
>>107839140Hi, Arch Poweruser, here. He's not wrong, and you're a retard if you think he is. See: the pro-audio metapackageThat's all.
>>107838419>I picked Arch for the rolling release not minimalist autism>>107838461>But I need the most up to date kernals and drivers for muh vidyaThen use CachyOS or EndeavourOS.
BATTLE STATIONSShow your setups
I miss when 4chan had good posts
>>107839571When was that?
>>107829092yep, its kino
>>107833762'strayan detected
Good mornin euro anons
The new beta release fugged up the app, just goes to a black screen
>>107839558I'm on beta and haven't updated yet. I'm just reacting to those in the thread complaining. Works on my machine.
>>107839540windows...
>>107839558he did a new release?did he fix broken archive links?did he keep the bottom bar?
>>107839890>did he keep the bottom bar?He ANNIHILATED the bottom bar
>>107837150Please tell me I can reenable this pointer on a scrollbar somehow. I struggle to find high reply posts without it in beta app.
/aicg/ - A general dedicated to the discussion and development of AI chatbotsHusky Edition>NewsZ․ai releases GLM-4.7 https://z.ai/blog/glm-4.7Google releases Gemini 3 Flash https://blog.google/products/gemini/gemini-3-flashOpenAI releases GPT-5.2 https://openai.com/index/introducing-gpt-5-2Deepseek releases V3.2 https://huggingface.co/deepseek-ai/DeepSeek-V3.2Anthropic releases Opus 4.5 https://www.anthropic.com/news/claude-opus-4-5Google releases Gemini 3 Pro https://blog.google/products/gemini/gemini-3Additional info: https://aicg.neocities.org/info.html>FrontendsComment too long. Click here to view the full text.
got 2 blank responsestime to panic
are there any provider that offer K2 thinking API for free? megallm no longer seems to list it for free plan
>>107840512Nvidia
https://www.youtube.com/watch?v=pBn5g314d5gOur version was better
>>107840386If no one else makes a script, I may attempt something later.
>>107838237all my prompts include a custom copyright clause and licensed under gpl+nigger.
I'm sick of AI retardation.
>>107838237Top kek.
engagement bait from a literal who blue checkmark
i publish all my prompts under a CC license.
>ubuntu is the best distro>light mode is better than dark mode>cloud computing is good>systemd is good>GNOME is good>AI tech is goodno, I won't elaborate
>>107837173funnier than animeposters at least
literally contrarian bullshit
>>107835374you are partially correctno, I won't elaborate
>distros matteryup, you're all tech amateurs
>>107835374agree with all except Gnome
kde devs can't even make a calculator right
>>107838952wrong. parens are just ways to make a nested expression take the value of a number in an expression. It's command substitution for math.
>>1078389523/(5-4)How do you distribute the 3?
>>107838952>>107840404>3/(5-4)Where is the invisible 1?
>>107831960this thread is insane. obviously the point is that the calculator shows two different results. i am very smart
the best linux calculator is the windows calculator run through wine
Why do people still use guhnome in 2025, usecase?It doesn't even have a task bar like windows and is functionally broken.KDE just werks, Krita Just werks, KDE connect just werks.I installed kubuntu everything just werks with flatpaks.
>>107837124The only real issue I've had with Gnome over the years is that it's hard to change your default terminal away from the Gnome one because it's literally hardcoded to use the Gnome terminal. Apart from that it's been great. I'm not a tinkerer and I don't care about random niche features. I just want something that works mostly out of the box.
>>107837124>abacus as the bottomUse case?
>>107837250>bringing up jews out of nowhereYou're mentally ill
>>107840390it's not out of nowhere though? these are the people bankrolling GNOME.
>>107840074then use xfce not some weird touchscreen de with android notification bar and dock
Why does Fedora use so much fucking RAM? I look at other Plasma distros with envy over the fact they use under a gigabyte of memory at idle while Fedora KDE is using like 3 fucking gigs after a cold boot NOT INCLUDING CACHE.
>>107833805https://www.linuxatemyram.com/
>>107833805Because they activate every systemd unit on start up to make your OS as plug and play as possible
>>107836901>NOT INCLUDING CACHE>NOT INCLUDING CACHE>NOT INCLUDING CACHE>NOT INCLUDING CACHE>NOT INCLUDING CACHE
>>107840128Sounds like you forgot to not include cache and reserved memory.
>>107833805You don't know what a cold boot is until you've seen your screen physically slow down from the cold.
What was the most disturbing thing you've found on the dark web?
>>107828655that was a deepfake, my fellow human.
>>107795078There are still sites using the .su domain set up by the USSR, Russia administers them but they will show up as USSR
>>107792748Pizza with animals.Not even the dark web, just regular internet, but this was way back in like 2003 when everything was much less regulated and monitored.
>>107838983ok so two people out of hundreds of thousands. both were controversies
>>107840026I have two on the top of my head and only one of them was widely reported on. How many do I have to look up to prove to you that the purpose of a system is what it does and giving the government any incentive to end the lives of its citizens in objectively a bad thing
